$\forall$$A$:Type. I $\in$ $A$$\rightarrow$$A$